大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 美国Cisco Networking Academy Program 的图书(共556本)

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号：
作者：Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

0
索取号：
作者：Reps、 Thomas.、Sagiv、 Mooly.、Bauer、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

0
索取号：
作者：Audebaud、 Philippe.、Paulin-Mohring、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Computing and Networking [electronic resource] : 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings

0
索取号：
作者：Chaudhuri、 Soma.、Das、 Samir R.、Paul、 Himadri S.、Tirthapura、 Srikanta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Frontiers of High Performance Computing and Networking-ISPA 2006 Workshops [electronic resource] : ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings

0
索取号：
作者：Min、 Geyong.、Martino、 Beniamino.、Yang、 Laurence T.、Guo、 Minyi.、R眉nger、 Gudula.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial and Algorithmic Aspects of Networking [electronic resource] : Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers

0
索取号：
作者：Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Information Networking. Advances in Data Communications and Wireless Networks [electronic resource] : International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers

0
索取号：
作者：Chong、 Ilyoung.、Kawahara、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、Herrero、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、Herrero、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings

0
索取号：
作者：Ga茂ti、 Dominique.、Pujolle、 Guy.、Al-Shaer、 Ehab.、Calvert、 Ken.、Dobson、 Simon.、Leduc、 Guy.、Martikainen、 Olli.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

0
索取号：
作者：Uustalu、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

0
索取号：
作者：Koucheryavy、 Yevgeni.、Harju、 Jarmo.、Iversen、 Villy B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号：
作者：Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.